Stimulating Students' Creativity Through Computer- Supported Experiments and Automated Theorem Proving

We present an environment for learning and teaching mathematics that aims at inspiring the creative potential of students by enabling the learners to perform various kinds of interactive computer experiments during their learning process. Computer interactions are both of visual and purely formal mathematical nature, where the computer-algebra system Mathematica powers the visualization of mathematical concepts and the tools provided by the mathematical assistant system Theorema, which is also based on Mathematica, are used for the formal counterparts. We present case studies on equivalence relations and polynomial interpolation, in which we demonstrate the entire bandwidth of computersupport that we envision for modern learning environments for mathematics.